Objet libre

En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories :

le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli.

Des exemples d'objets libres sont les groupes libres, les groupes abéliens libres, les algèbres tensorielles… Informellement, un objet libre sur un ensemble X est une structure algébrique « générique » sur X : les seules équations qui relient les éléments de l'objet libre sont celles imposées par les axiomes qui définissent la structure algébrique.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search